Edsger W. Dijkstra - PDFSEARCH.IO - Document Search Engine

Edsger W. Dijkstra
Results: 213

#	Item
151	LNCSTransactional Monitors for Concurrent Objects Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2007-07-31 20:51:28 Computing Transaction processing Concurrency control Data management Software Databases Edsger W. Dijkstra Monitor Synchronization Concurrent computing Serializability Thread
152	PDF Document Add to Reading List Source URL: security.cs.georgetown.edu Language: English - Date: 2014-07-11 14:03:09 Graph theory Mathematics Computational complexity theory Edsger W. Dijkstra Combinatorial optimization Network theory Maximal independent set Graph coloring Shortest path problem Matching Leader election Minimum spanning tree
153	PDF Document Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 2012-06-06 03:08:31 Network theory Routing algorithms Edsger W. Dijkstra Graph theory Shortest path problem Distance oracle Routing Flow network Contraction hierarchies K shortest path routing
154	PDF Document Add to Reading List Source URL: www.francescobonchi.com Language: English - Date: 2013-10-23 04:38:55 Graph theory Directed graph Flow network Edsger W. Dijkstra Network theory NP-complete problems
155	SIGOPS Annual Report 2008 Fiscal Year July 2007-June 2008 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Symposium on Operating Systems Principles ACM SIGACT Dijkstra Prize Software engineers International Conference on Architectural Support for Programming Languages and Operating Systems Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Edsger W. Dijkstra Computer science Computing Concurrent computing
156	The Structure of the "THE"-Multiprogramming System Edsger W . Dijkstra Technological University, Eindhoven, The Netherlands A multiprogramming system is described in which all activities are divided over a number of sequ Add to Reading List Source URL: uosis.mif.vu.lt Language: English - Date: 2012-02-14 08:37:33
157	Microsoft Word - SIGOPSAnnualReport2005.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Dijkstra Prize Distributed computing Symposium on Operating Systems Principles Software engineers Symposium on Principles of Distributed Computing Edsger W. Dijkstra Conference on Embedded Networked Sensor Systems Nancy Lynch Keith Marzullo Computing Concurrent computing Computer science
158	Microsoft Word - SIGOPSAnnualReport2004.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Symposium on Operating Systems Principles Software engineers Dijkstra Prize Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Mark Weiser Edsger W. Dijkstra Keith Marzullo ACM SIGACT Computing Computer science Concurrent computing
159	Microsoft Word - SIGOPSAnnualReport2003.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Wireless sensor network Conference on Embedded Networked Sensor Systems Symposium on Operating Systems Principles Software engineers Dijkstra Prize Edsger W. Dijkstra Symposium on Principles of Distributed Computing Distributed computing SIGMOBILE Computing Computer science Concurrent computing
160	Note: the electronic PDF-version of this document contains hyperlinks for easy reference. Proposal for a Formal Methods 2008 Tutorial Formal Methods and Signal Processing Raymond Boute, INTEC—Ghent University, boute@i Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 08:22:39 Formal methods Theoretical computer science Media technology Signal processing Edsger W. Dijkstra SIGNAL Systems modeling Algorithm Electrical engineering Computing Computer science Software engineering